failure 469:

Requirement failed: {nexttoward.09.01.01;nexttoward.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
location
trace /var/opt/lsb/test/olver-core/2013-01-21_10-20-40/util_float_scenario.utz (util_float_scenario.utt), line 15006
occurence
scenario util_float_scenario
specification function nexttoward_spec()
parameter value  CallContext context = [pid=17999,thr=b752d6c0]
parameter value  Unifloat * @x = (double) -4.9406564584124654e-324 (-0x.8000000000000000P-1073)
parameter value  Unifloat * x = (double) -4.9406564584124654e-324 (-0x.8000000000000000P-1073)
parameter value  Unifloat * @y = (long double) -1.0000000000000000000000000000000000e+00 (-0x.8000000000000000P1L)
parameter value  Unifloat * y = (long double) -1.0000000000000000000000000000000000e+00 (-0x.8000000000000000P1L)
parameter value  ErrorCode * @errno = EOK
parameter value  ErrorCode * errno = EOK
return value  (Unifloat *) (double) -9.8813129168249309e-324 (-0x.8000000000000000P-1072)
coverage
& branch
C
x - normal, y - normal, x>y
properties
REQ failed nexttoward.09.01.01
REQ failed nexttoward.09.02.01
kind POSTCONDITION_FAILED
similar known bug(s)
The nexttoward(x, y) family of functions functions shall compute the next representable floating-point value following x in the direction of y. According to LSB, if the correct value is subnormal or underflows then ERANGE error code shall be set. But on the target machine the function sets error code EOK instead of ERANGE.